Chú thích Bổ đề Euclid

Ghi chú

  1. ↑ Nó còn được gọi là Định lý đầu tiên của Euclid[1][2] mặc dù tên gọi đó phù hợp hơn với định lý về điều kiện cạnh-góc-cạnh dùng để chứng minh các tam giác là đồng dạng.[3]
  2. ↑ Tổng quát, việc chỉ ra rằng một miền là một miền phân tich duy nhất, là đủ để chứng minh bổ đề Euclid và điều kiện chuỗi tăng dần của các iđêan chính (ACCP)
  3. ↑ Nếu a ：b＝c ：d, thì ad＝bc; và ngược lại.[11]
  4. ↑ Nếu a ：b＝c ：d, và a, b là các số bé nhất trong các số có cùng tỉ lệ, thì c＝na, d＝nb, với n là một số nguyên nào đó.[12]
  5. ↑ Nếu a ：b＝c ：d, và a, b nguyên tố cùng nhau, thì a, b là các số bé nhất trong các số có cùng tỉ lệ.[13]
  6. ↑ Nếu a là một số nguyên tố và không đo được b thì a, b nguyên tố cùng nhau.[14]
  7. ↑ Nếu c, một số nguyên tố, đo được ab thì c cũng đo được một trong hai số a hoặc b hoặc cả hai.[15]

Trích dẫn

  1. Bajnok 2013, Theorem 14.5Lỗi harv: không có mục tiêu: CITEREFBajnok2013 (trợ giúp)
  2. Joyner, Kreminski & Turisco 2004, Proposition 1.5.8, p. 25Lỗi harv: không có mục tiêu: CITEREFJoynerKreminskiTurisco2004 (trợ giúp)
  3. Martin 2012, tr. 125Lỗi harv: không có mục tiêu: CITEREFMartin2012 (trợ giúp)
  4. 1 2 Gauss 2001Lỗi harv: không có mục tiêu: CITEREFGauss2001 (trợ giúp)
  5. 1 2 Hardy, Wright & Wiles 2008Lỗi harv: không có mục tiêu: CITEREFHardyWrightWiles2008 (trợ giúp)
  6. ↑ Ireland & Rosen 2010Lỗi harv: không có mục tiêu: CITEREFIrelandRosen2010 (trợ giúp)
  7. ↑ Landau & Goodman 1999Lỗi harv: không có mục tiêu: CITEREFLandauGoodman1999 (trợ giúp)
  8. ↑ Riesel 1994Lỗi harv: không có mục tiêu: CITEREFRiesel1994 (trợ giúp)
  9. ↑ Euclid 1994Lỗi harv: không có mục tiêu: CITEREFEuclid1994 (trợ giúp)
  10. ↑ Weisstein, Eric W., "Euclid's Lemma", MathWorld.
  11. Euclid 1956, tr. 319Lỗi harv: không có mục tiêu: CITEREFEuclid1956 (trợ giúp)
  12. Euclid 1956, tr. 321Lỗi harv: không có mục tiêu: CITEREFEuclid1956 (trợ giúp)
  13. Euclid 1956, tr. 323Lỗi harv: không có mục tiêu: CITEREFEuclid1956 (trợ giúp)
  14. Euclid 1956, tr. 331Lỗi harv: không có mục tiêu: CITEREFEuclid1956 (trợ giúp)
  15. Euclid 1956, tr. 332Lỗi harv: không có mục tiêu: CITEREFEuclid1956 (trợ giúp)
  16. ↑ Euclid 1956Lỗi harv: không có mục tiêu: CITEREFEuclid1956 (trợ giúp)

Liên quan